<?php	
	session_start();
	// test if session has already been initialized before
	if (empty($_SESSION)) {
		header("location: ../../index.php?msg=sessionExpired");
		exit();
	}

	$_SESSION = array();
	session_destroy();

//	if (empty($_SESSION)) {
//		print "TUTU";
//		exit();
//	}
	
	header("location: ../../index.php?msg=sessionFinished");
?>